Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets
نویسندگان
چکیده
In this paper we define a model, namely the recursive ECATNets (Recatnets) based on a sound combination of Extended Concurrent Algebraic Term nets and Recursive Petri nets, allowing a concise modeling of dynamic reconfiguration mechanisms of flexible workflow processes. The descriptive power of Recatnes is well-suited for collaborative workflows modeling. Moreover the use of model checking techniques to prove liveness and safety properties becomes possible due to their semantics defined in conditional
منابع مشابه
A Workflow Model Based on Recursive Petri Nets for Flexible Manufacturing Processes
Recently, due to integration requirements, manufacturing industry is faced with the problem of controlling, monitoring, optimizing and supporting business and production processes. Among methods and techniques dealing with workflow management, those allowing a correct flexibility description are the more suitable for this industrial context. The aim of this paper is to show the interest of our ...
متن کاملDynamic configuration and collaborative scheduling in supply chains based on scalable multi-agent architecture
Due to diversified and frequently changing demands from customers, technological advances and global competition, manufacturers rely on collaboration with their business partners to share costs, risks and expertise. How to take advantage of advancement of technologies to effectively support operations and create competitive advantage is critical for manufacturers to survive. To respond to these...
متن کاملTowards Distributed Collaborative Workflow Management for Mobile Devices
Using mobile devices enhances overall collaboration and communication between team workers. Co-workers can collaborate and share content regardless of their location. Workflow management is a widely accepted technology that supports collaboration; however, existing workflow approaches provide only a limited support for content management. Moreover, constantly changing collaborators’ contexts an...
متن کاملThe design of a JADE-based autonomous workflow management system for collaborative SoC design
Given a fast changing electronics goods marketplace, designers of integrated circuits and components need to be more competitive, efficient, flexible, and use collaborative workflow to reduce time-to-market and a project’s life cycle. In recent years, agent-based workflow management systems (WfMS) have been widely used to monitor and control business design processes. In this paper, intelligent...
متن کاملOn Analysis of Boundness Property for ECATNets by Using Rewriting Logic
To analyze the behavior of Petri nets, the accessibility graph and Model Checking are widely used. However, if the analyzed Petri net is unbounded then the accessibility graph becomes infinite and Model Checking can not be used even for small Petri nets. ECATNets [2] are a category of algebraic Petri nets. The main feature of ECATNets is their sound and complete semantics based on rewriting log...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007